Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
نویسندگان
چکیده
منابع مشابه
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Since unforeseen situations may occur in these environments, the verification results obtained with respect to the system and environment models at design-time might not be transferable to the system behaviour at runtime. F...
متن کاملTowards automatic verification of autonomous systems
While autonomous systems offer great promise in terms of capability and flexibility, their reliability is particularly hard to assess. This paper describes research to apply formal verification methods to languages used to develop autonomy software. In particular, we describe tools that automatically convert autonomy software into formal models that are then verified using model checking. This ...
متن کاملTowards Autonomous Wheelchair Systems in Urban Environments
In this paper, we explore the use of synthesized landmark maps for absolute localization of a smart wheelchair system outdoors. In this paradigm, threedimensional map data are acquired by an automobile equipped with high precision inertial/GPS systems, in conjunction with light detection and ranging (LIDAR) systems, whose range measurements are subsequently registered to a global coordinate fra...
متن کاملthe effect of using critical discourse analytical tools on the improvement of the learners level of critical thinking in reading comprehension
?it is of utmost priority for an experienced teacher to train the mind of the students, and enable them to think critically and correctly. the most important question here is that how to develop such a crucial ability? this study examines a new way to the development of critical thinking utilizing critical discourse analytical tools. to attain this goal, two classes of senior english la...
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] — systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation protocols used for distributed systems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.232.10